<?php
	echo "other";
